discrete mathematics subsets